Can message buffers be axiomatized in linear temporal logic?SISTLA, A. P; CLARKE, E. M; FRANCEZ, N et al.Information and control. 1984, Vol 63, Num 1-2, pp 88-112, issn 0019-9958Article

Reasoning in a restricted temporal logicPRASAD SISTLA, A; ZUCK, L. D.Information and computation (Print). 1993, Vol 102, Num 2, pp 167-195, issn 0890-5401Article

Typed timed input/output automata in real-time, cybernetic explanationPETERS, J. F.Cybernetics and systems. 1993, Vol 24, Num 2, pp 115-137, issn 0196-9722Article

Control problems in a temporal logic frameworkTHISTLE, J. G; WONHAM, W. M.International Journal of Control. 1986, Vol 44, Num 4, pp 943-976, issn 0020-7179Article

Maintaining knowledge about temporal intervalsALLEN, J. F.Communications of the ACM. 1983, Vol 26, Num 11, pp 832-843, issn 0001-0782Article

Correct, Reactive, High―Level Robot ControlKRESS-GAZIT, Hadas; WONGPIROMSARN, Tichakorn; TOPCU, Ufuk et al.IEEE robotics & automation magazine. 2011, Vol 18, Num 3, pp 65-74, issn 1070-9932, 10 p.Article

A reified temporal logicMA, J; KNIGHT, B.Computer journal (Print). 1996, Vol 39, Num 9, pp 800-807, issn 0010-4620Article

Vérification de propriétés de programmes flots de données synchronesGlory, Anne-Cécile; Ouabdesselam, Farid.1989, 233 p.Thesis

The decision problem for linear temporal logicBURGESS, J. P; GUREVICH, Y.Notre Dame journal of formal logic. 1985, Vol 26, Num 2, pp 115-128, issn 0029-4527Article

Tense logic and timeVAN BENTHEM, J.Notre Dame journal of formal logic. 1984, Vol 25, Num 1, pp 1-16, issn 0029-4527Article

Preuves de vivacité des programmes séquentiels dans la logique temporelle = Vivacity proofs of sequential programs in temporal logicDELPORTE, Carole.1983, 227 fThesis

Predicate diagrams as basis for the verification of reactive systemsNUGRAHENI, Cecilia E.Modeling and verification of parallel processes. Summer school. 2001, pp 354-359, 6 p.Conference Paper

Semantics of framed temporal logic programsZHENHUA DUAN; XIAOXIAO YANG; KOUTNY, Maciej et al.Lecture notes in computer science. 2005, pp 356-370, issn 0302-9743, isbn 3-540-29208-X, 1Vol, 15 p.Conference Paper

Group know-howPAZMAN, R.Computers and artificial intelligence. 2000, Vol 19, Num 1, pp 47-78, issn 0232-0274Article

Approximating ATL^* in ATLHARDING, Aidan; RYAN, Mark; SCHOBBENS, Pierre-Yves et al.Lecture notes in computer science. 2002, pp 289-301, issn 0302-9743, isbn 3-540-43631-6Conference Paper

Linear temporal logic and finite semigroupsWILKE, Thomas.Lecture notes in computer science. 2001, pp 96-110, issn 0302-9743, isbn 3-540-42496-2Conference Paper

Using compositional preorders in the verification of Sliding window protocolKAIVOLA, R.Lecture notes in computer science. 1997, pp 48-59, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Temporal inferencing on administrative databasesLEE, R. M; COELHO, H; COTTA, J. C et al.Information systems (Oxford). 1985, Vol 10, Num 2, pp 197-206, issn 0306-4379Article

Proving failure-free properties of concurrent systems using temporal logicKARP, R. A.ACM transactions on programming languages and systems. 1984, Vol 6, Num 2, pp 239-253, issn 0164-0925Article

A common sense theory of causationBELL, John.Lecture notes in computer science. 2003, pp 40-53, issn 0302-9743, isbn 3-540-40380-9, 14 p.Conference Paper

Model checking a pathMARKEY, N; SCHNOEBELEN, P.Lecture notes in computer science. 2003, pp 251-265, issn 0302-9743, isbn 3-540-40753-7, 15 p.Conference Paper

From falsification to verificationPELED, Doron; PNUELI, Amir; ZUCK, Lenore et al.Lecture notes in computer science. 2001, pp 292-304, issn 0302-9743, isbn 3-540-43002-4Conference Paper

A dense-time Temporal Logic with nice Compositionality PropertiesCAU, A; DE ROEVER, W.-P.EUROCAST '97International conference on computer aided systems theory and technology. 1997, pp 71-72, isbn 84-88912-04-8Conference Paper

Adding partial orders to linear temporal logicBHAT, G; PELED, D.Lecture notes in computer science. 1997, pp 119-134, issn 0302-9743, isbn 3-540-63141-0Conference Paper

Decision procedures and expressiveness in the temporal logic of branching timeEMERSON, E. A; HALPERN, J. Y.Journal of computer and system sciences (Print). 1985, Vol 30, Num 1, pp 1-24, issn 0022-0000Article